View model - PDFSEARCH.IO - Document Search Engine

View model
Results: 841

#	Item
691	Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA. Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Theoretical computer science Instruction set architectures Computer memory Parallel computing Cache coherency Model checking CPU cache Formal verification Communications protocol Computing Computer architecture Computer hardware
692	http://shpenkov.janmax.com/Vol.2.DynamicModel-1.pdf DIALECTICAL VIEW OF THE WORLD The Wave Model (Selected Lectures) Add to Reading List Source URL: www.shpenkov.janmax.com Language: English - Date: 2013-11-21 07:59:10 Classical mechanics Theories of gravitation Quantum electrodynamics Subatomic particle Gravitational wave Mass Wave–particle duality Electron Elementary particle Physics Particle physics Quantum mechanics
693	http://shpenkov.janmax.com/Vol.1.Dialectics.pdf DIALECTICAL VIEW OF THE WORLD The Wave Model (Selected Lectures) Add to Reading List Source URL: www.shpenkov.janmax.com Language: English - Date: 2013-03-18 07:55:15 Introductory physics Introduction to quantum mechanics Elementary particle Theoretical physics Branches of physics Classical mechanics Matter Outline of physics Physics Particle physics Quantum mechanics
694	Analysis of HFE from a BDD point of view J.F Michon LIFAR∗ J.B. Yunes LIAFA† Add to Reading List Source URL: ccc.ustc.edu.cn Language: English - Date: 2006-10-24 07:55:03 Theoretical computer science Binary decision diagram Model checking Cryptography Boolean function Polynomial P Applied mathematics Boolean algebra Mathematics Diagrams
695	http://shpenkov.janmax.com/Vol.3.DynamicModel-2.pdf DIALECTICAL VIEW OF THE WORLD The Wave Model (Selected Lectures) Add to Reading List Source URL: www.shpenkov.janmax.com Language: English - Date: 2014-05-08 16:31:57 Quantum electrodynamics Spintronics Atoms Electron Introduction to quantum mechanics Subatomic particle Hydrogen atom Photon Proton Physics Quantum mechanics Particle physics
696	Integrated Taxonomic Information System (ITIS) Database Physical Model Click on an entity to view keydata definition and defined elements. Reviews Taxon_Authors_Lookup Add to Reading List Source URL: www.itis.gov Language: English - Date: 2014-03-05 18:16:04 Relational database management systems Database management systems Database theory SQL IBM Informix Null Integrated Taxonomic Information System HTML element Database Data management Data Computing
697	Integrated Taxonomic Information System (ITIS) Database Physical Model Click on an entity to view keydata definition and defined elements. Reviews Taxon_Authors_Lookup Add to Reading List Source URL: www.itis.gov - Date: 2014-03-05 18:16:04
698	AVS USERS GUIDE APPLICANT/VIOLATOR SYSTEM USERS GUIDE All-Purpose Edition Instruction for System Users with View Only Rights March 2010 Add to Reading List Source URL: www.osmre.gov Language: English - Date: 2010-07-08 11:32:51
699	Installing Adobe® colour settings on Mac OSX • Open a new finder window. • Choose Column view. • Select:- Startup_Disk> Library> Application Support> Adobe> Color> Settings > Recommended • Place your .csf ( Add to Reading List Source URL: www.adhelpnews.com Language: English - Date: 2012-02-17 12:57:37 Raster graphics editors Color space Desktop publishing software Adobe Photoshop Adobe InDesign PDF/X CMYK color model SVG Kit for Adobe Creative Suite Adobe Photoshop Elements Software Graphics software Graphic design
700	Agile Web Development with Rails 4 Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-10-01 15:50:57 Software design patterns Computer programmers Year of birth missing Web 2.0 Ruby on Rails Dave Thomas Model–view–controller The Pragmatic Programmer Ruby Computing Software Web application frameworks

UPDATE